Reasoning about Strategies under Partial Observability and Fairness Constraints
نویسندگان
چکیده
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constraints. In this paper we propose ATLKF po, a logic mixing strategies under partial observability and epistemic properties of agents in a system with fairness constraints on states, and we provide a model checking algorithm for it.
منابع مشابه
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
Reasoning about strategies has been a concern for several years, and many extensions of Alternating-time Temporal Logic have been proposed. One extension, ATLKirF , allows the user to reason about the strategies of the agents of a system under partial observability and unconditional fairness constraints. However, the existing model-checking algorithm for ATLKirF is inefficient when the user is ...
متن کاملSynchronizing Strategies under Partial Observability
Embedded devices usually share only partial information about their current configurations as the communication bandwidth can be restricted. Despite this, we may wish to bring a failed device into a given predetermined configuration. This problem, also known as resetting or synchronizing words, has been intensively studied for systems that do not provide any information about their configuratio...
متن کاملExpanded HTA: Enhancing Fairness and Legitimacy
All societies face the need to make judgments about what interventions (both public health and personal medical) to provide to their populations under reasonable resource constraints. Their decisions should be informed by good evidence and arguments from health technology assessment (HTA). But if HTA restricts itself to evaluations of safety, efficacy, and cost-effectiveness, it risks being vie...
متن کاملPolicy Learning with Hypothesis based Local Action Selection
For robots to be effective in human environments, they should be capable of successful task execution in unstructured environments. Of these, many task oriented manipulation behaviors executed by robots rely on model based grasping strategies and model based strategies require accurate object detection and pose estimation. Both these tasks are hard in human environment, since human environments...
متن کاملA Rely/Guarantee Reasoning Framework using Computational Tree Logic
This paper presents a formulation of a rely/guarantee reasoning framework using an extended version of computational tree logic called Relational CTL*. As a result of using Relational CTL* we gain a rely/guarantee reasoning framework which has the ability to directly reason about fairness constraints; and consider properties about the ordering and frequency of events at the level of development...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013